/**
 * @file print.h
 * @author etcfly (etcflywy@126.com)
 * @brief 
 * @version 1.0.0
 * @date 2025-11-11
 * 
 * @copyright Copyright (c) 2025
 * 
 */
#ifndef __PRINT_H__
#define __PRINT_H__

#include <stdint.h>
#include <stdarg.h>
#include "syscall.h"
#include <stddef.h>

int putchar(int ch);
int puts(const char *string);
int kvsnprintf (char * buf, int size, const char * fmt, va_list args);
int kvsprintf(char *str, const char *fmt, va_list args);
int ksprintf(char *buf, const char *fmt, ...);
int ksnprintf(char *buf, int size, const char *fmt, ...);
void kprintf(const char *fmt, ...);

#endif
